Abstract Interpretation From a Denotational-semantics Perspective
نویسنده
چکیده
interpretation from a denotational-semantics perspective
منابع مشابه
A Semantics for Logic Programs Based on Hereditary Harrop Formulas
We present a semantic framework for logic programs based on first-order hereditary Harrop formulas. The denotational and operational semantics are defined in a uniform way by characterizing some basic algebraic operators, which are directly related to the syntactic structure of the language. This allows us to address problems such as the relation between the operational semantics and the denota...
متن کاملA Denotational Semantics for the π-Calculus
In his categorical framework, Stark defines a domain-theoretic model for the π-calculus based on functor categories. Despite being a sound abstract model, a more concrete semantics is required if it is to be used as a basis for proving properties about mobile systems. In this paper, we concretize Stark’s denotational model for the π-calculus and provide a full definition of the semantic domains...
متن کاملConstructive design of a hierarchy of semantics of a transition system by abstract interpretation
We construct a hierarchy of semantics by successive abstract interpretations. Starting from the maximal trace semantics of a transition system, we derive the big-step semantics, termination and nontermination semantics, Plotkin’s natural, Smyth’s demoniac and Hoare’s angelic relational semantics and equivalent nondeterministic denotational semantics (with alternative powerdomains to the Egli-Mi...
متن کاملComplementing Logic Program Semantics
We consider abstract interpretation, and in particular the basic operators of reduced product and complementation of abstract domains, as a tool to systematically derive denotational semantics by composition and decomposition. Reduced product allows to perform the logical conjunction of semantics, while complementation characterizes what is left from a semantics when the information concerning ...
متن کاملHigher Order Abstract Interpretation and Application to Comportment Analysis Generalizing Strictness Termination Projection and PER Analysis of Functional Languages
The original formulation of abstract interpretation represents program properties by sets A property is understood as the set of semantic values satisfying it Strongest program properties are de ned by the collecting semantics which extends the standard semantics to powersets of semantic values The ap proximation relation corresponding to the logical impli cation of program properties is subset...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 249 شماره
صفحات -
تاریخ انتشار 2009